notching punch - German English Dictionary